void do_tests()
{
	string tm = ctime(0);
	ASSERT(stringp(tm));
	ASSERT(strsrch(tm, '\n') == -1);
}
